-
1 implicative lattice
Математика: импликативная решётка -
2 implicative lattice
-
3 lattice
1) плетение2) решётка, сетка || решетчатый3) пространственная решётка, структура•- almost contact lattice - almost tangent lattice - completely regular lattice - locally convex lattice - locally distributive lattice - locally modular lattice - lower semimodular lattice - metrically simple lattice - relatively pseudocomplemented lattice - structurally regular lattice - topologically dense lattice -
4 semi(-)lattice
матем.полуструктура, псевдоструктура -
5 semi(-)lattice
матем.полуструктура, псевдоструктура -
6 импликативная решетка
implicative lattice мат.Русско-английский научно-технический словарь Масловского > импликативная решетка
-
7 импликативная решетка
Большой англо-русский и русско-английский словарь > импликативная решетка
-
8 импликативная решётка
Mathematics: implicative latticeУниверсальный русско-английский словарь > импликативная решётка
См. также в других словарях:
Thoralf Skolem — Infobox Scientist name = Thoralf Skolem birth date = birth date|1887|5|23|mf=y birth place = Sandsvaer, Buskerud, Norway residence = nationality = death date = death date and age|1963|3|23|1887|5|23|mf=y death place = Oslo, Norway field =… … Wikipedia
List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… … Wikipedia
2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… … Wikipedia
Monoidal t-norm logic — Monoidal t norm based logic (or shortly MTL), the logic of left continuous t norms, is one of t norm fuzzy logics. It belongs to the broader class of substructural logics, or logics of residuated lattices;[1] it extends the logic of commutative… … Wikipedia
Mohammad Mehdi Zahedi — (Born in 1953 Kerman) is an Iranian politician and was the former minister of science and technology in Mahmoud Ahmadinejad s first cabinet from 2005 to 2009. He was approved by Iran s parliament with the least number of supporting votes possible … Wikipedia